COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	←(RECORD Q (T1 S1 S3))
C00004 ENDMK
C⊗;
←(RECORD Q (T1 S1 S3))
Q
←(RECORD S1 (FOO1 S2 FOO2))
S1
←(RECORD S3 (FOO3 S2 S4))
S3
←DWIMIFY((X:S4))
  (CADDR X)
(fetch S4 of X)
←DWIMIFY((X:S1.S2))
  (CADR X)
(fetch (S1 S2) of X)
←DWIMIFY((X:Q.S1.S2))
  (CADR (CADR X))
(fetch (Q S1 S2) of X)
←DWIMIFY((X:Q.S4))
  (CADDR (CADDR X))
(fetch (Q S4) of X)
←DWIMIFY((X:S2))
Ambiguous record field S2 appears in:
(RECORD S3 (FOO3 S2 S4))
(RECORD S1 (FOO1 S2 FOO2)) 
 in  (fetch S2 of X)
  (X:S2)
(X:S2)